bitkeeper revision 1.995 (40d7059ek3ICHR5Iebek8AzkIdzn7Q)

Merge http://xen.bkbits.net:8080/xeno-unstable.bk
into gandalf.hpl.hp.com:/var/bk/xeno-unstable.bk

diff --cc BitKeeper/etc/logging_ok
index 8674fa612d2be9bcbfea37735434399df19295ba,8674fa612d2be9bcbfea37735434399df19295ba..3d4db5eb48f7aa1d062052eaed566d85bde5ec5c
--- 1/BitKeeper/etc/logging_ok
--- 2/BitKeeper/etc/logging_ok
+++ b/BitKeeper/etc/logging_ok
@@@ -38,3 -38,3 +38,4 @@@ smh22@uridium.cl.cam.ac.u
  sos22@labyrinth.cl.cam.ac.uk
  tlh20@elite.cl.cam.ac.uk
  tlh20@labyrinth.cl.cam.ac.uk
++xenbk@gandalf.hpl.hp.com